The halfedge description $M=(E,s,\rho)$ of an oriented surface contains all the information. It is nevertheless convenient to introduce some more derived stucture. For an edge $e\in E$ we define $\textrm{left}(e)=$ the face (cycle of $s$) containing $e$ $\textrm{right}(e)=$ the face … Continue reading Structure derived from Halfedges